Full variable assignments
Double click to show/hide

Method calls quick lookup:
0: main 🔍
1: → safeAssumptions 🔍
2: →→ PoolHarness.asset 🔍
3: →→ PoolHarness.underlyingAllowance 🔍
112: →→→ Asset.allowance 🔍
111: →→→ DummyERC20A.allowance 🔍
110: →→→ DummyERC20B.allowance 🔍
109: →→→ DummyERC20Impl.allowance 🔍
108: →→→ DummyWeth.allowance 🔍
107: →→→ ERC20Basic.allowance 🔍
106: →→→ FTT.allowance 🔍
105: →→→ PoolHarness.allowance 🔍
104: →→→ SushiToken.allowance 🔍
103: →→→ USDC.allowance 🔍
4: →→→ USDT.allowance 🔍
5: → PoolHarness.underlyingBalance 🔍
102: →→ Asset.balanceOf 🔍
101: →→ DummyERC20A.balanceOf 🔍
100: →→ DummyERC20B.balanceOf 🔍
99: →→ DummyERC20Impl.balanceOf 🔍
98: →→ DummyWeth.balanceOf 🔍
97: →→ ERC20Basic.balanceOf 🔍
96: →→ FTT.balanceOf 🔍
95: →→ PoolHarness.balanceOf 🔍
94: →→ SushiToken.balanceOf 🔍
93: →→ USDC.balanceOf 🔍
6: →→ USDT.balanceOf 🔍
7: → PoolHarness.flashLoan 🔍
92: →→ Asset.transferFrom 🔍
91: →→ DummyERC20A.transferFrom 🔍
90: →→ DummyERC20B.transferFrom 🔍
89: →→ DummyERC20Impl.transferFrom 🔍
88: →→ DummyWeth.transferFrom 🔍
87: →→ ERC20Basic.transferFrom 🔍
86: →→ FTT.transferFrom 🔍
85: →→ PoolHarness.transferFrom 🔍
84: →→ SushiToken.transferFrom 🔍
83: →→ USDC.transferFrom 🔍
8: →→ USDT.transferFrom 🔍
46: →→ FlexibleReceiver.executeOperation 🔍
82: →→→ Asset.approve 🔍
81: →→→ DummyERC20A.approve 🔍
80: →→→ DummyERC20B.approve 🔍
79: →→→ DummyERC20Impl.approve 🔍
78: →→→ DummyWeth.approve 🔍
77: →→→ ERC20Basic.approve 🔍
76: →→→ FTT.approve 🔍
75: →→→ PoolHarness.approve 🔍
74: →→→ SushiToken.approve 🔍
73: →→→ USDC.approve 🔍
72: →→→ USDT.approve 🔍
71: →→→ Asset.transfer 🔍
70: →→→ DummyERC20A.transfer 🔍
69: →→→ DummyERC20B.transfer 🔍
68: →→→ DummyERC20Impl.transfer 🔍
67: →→→ DummyWeth.transfer 🔍
66: →→→ ERC20Basic.transfer 🔍
65: →→→ FTT.transfer 🔍
64: →→→ PoolHarness.transfer 🔍
63: →→→ SushiToken.transfer 🔍
62: →→→ USDC.transfer 🔍
61: →→→ USDT.transfer 🔍
60: →→→ DummyWeth.withdraw 🔍
59: →→→ PoolHarness.withdraw 🔍
58: →→→ Asset.transferFrom 🔍
57: →→→ DummyERC20A.transferFrom 🔍
56: →→→ DummyERC20B.transferFrom 🔍
55: →→→ DummyERC20Impl.transferFrom 🔍
54: →→→ DummyWeth.transferFrom 🔍
53: →→→ ERC20Basic.transferFrom 🔍
52: →→→ FTT.transferFrom 🔍
51: →→→ PoolHarness.transferFrom 🔍
50: →→→ SushiToken.transferFrom 🔍
49: →→→ USDC.transferFrom 🔍
48: →→→ USDT.transferFrom 🔍
47: →→→ PoolHarness.deposit 🔍
34: →→ TransferReceiver.executeOperation 🔍
45: →→→ Asset.transferFrom 🔍
44: →→→ DummyERC20A.transferFrom 🔍
43: →→→ DummyERC20B.transferFrom 🔍
42: →→→ DummyERC20Impl.transferFrom 🔍
41: →→→ DummyWeth.transferFrom 🔍
40: →→→ ERC20Basic.transferFrom 🔍
39: →→→ FTT.transferFrom 🔍
38: →→→ PoolHarness.transferFrom 🔍
37: →→→ SushiToken.transferFrom 🔍
36: →→→ USDC.transferFrom 🔍
35: →→→ USDT.transferFrom 🔍
10: →→ TrivialReceiver.executeOperation 🔍
33: →→ Asset.transferFrom 🔍
32: →→ DummyERC20A.transferFrom 🔍
31: →→ DummyERC20B.transferFrom 🔍
30: →→ DummyERC20Impl.transferFrom 🔍
29: →→ DummyWeth.transferFrom 🔍
28: →→ ERC20Basic.transferFrom 🔍
27: →→ FTT.transferFrom 🔍
26: →→ PoolHarness.transferFrom 🔍
25: →→ SushiToken.transferFrom 🔍
24: →→ USDC.transferFrom 🔍
11: →→ USDT.transferFrom 🔍
12: → PoolHarness.underlyingBalance 🔍
23: →→ Asset.balanceOf 🔍
22: →→ DummyERC20A.balanceOf 🔍
21: →→ DummyERC20B.balanceOf 🔍
20: →→ DummyERC20Impl.balanceOf 🔍
19: →→ DummyWeth.balanceOf 🔍
18: →→ ERC20Basic.balanceOf 🔍
17: →→ FTT.balanceOf 🔍
16: →→ PoolHarness.balanceOf 🔍
15: →→ SushiToken.balanceOf 🔍
14: →→ USDC.balanceOf 🔍
13: →→ USDT.balanceOf 🔍